退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:弱算术和Kripke模型
Morteza Moniri;
机译:“弱算法和Kripke模型”的更正
机译:复杂性理论约束下的弱算术模型的扩展
机译:弱算术模型的实数闭合
机译:从算术模型构建的Kripke模型
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:算术问题解决在儿童发育过程中计算障碍弱任务相关的调制和刺激交涉
机译:算术模型与弱二阶理论模型的扩展性
机译:Hehyting算法的Kripke模型的结构
机译:算术设备,检测系统,建模设备,算术方法,检测方法,建模方法,算术程,检测程序和建模程序
机译:算术设备,检测系统,建模装置,算术方法,检测方法,建模方法,算术程序,检测程序和建模程序
机译:算术模型生成系统,磨损量估计系统和算术模型生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。